//
//  initinfo.h
//  ltlbmc
//
//  Created by GD Huang on 5/21/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#ifndef ltlbmc_initinfo_h
#define ltlbmc_initinfo_h

#include "init.h"

namespace cilast {
    
    class init;
    
    class initinfo : public OCamlObject {
    public:    
        init* minit;
        
    };
    
}

#endif
